1. A primer of formal logic
پدیدآورنده : By John C. Cooley
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic.,Logic, Symbolic and mathematical.,Mathematics - philosophy
2. An introduction to Mathematical thought. Reding, Mass
پدیدآورنده : Edward Russell Stabler
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. An introduction to mathematical thought
پدیدآورنده : Stabler, Edward Russell
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
S67
1953
4. An introduction to mathematical thought
پدیدآورنده : / by E. R. Stabler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Mathematics - Philosophy,Logic - Symbolic and mathematical
رده :
510
.
1
St-I
5. Aspects of mathematical logic
پدیدآورنده : / edited by E. Casari
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
رده :
QA9
.
A1C56
2010
6. Axiomatic method and category theory
پدیدآورنده : Rodin, Andrei, Andrei Rodin
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Axiomatic set theory,، Categories )Mathematics(,، Philosophy,، Epistemology,، Category Theory, Homological Algebra,، Mathematical Logic and Foundations
رده :
QA248
7. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.
رده :
QA9
.
A5
B489
2000
8. Between logic and intuition :
پدیدآورنده : edited by Gila Sher, Richard Tieszen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Lógica simbólica y matemática.,Matemáticas-- Filosofía.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
A5
B489
2007
9. Classical and nonclassical logics : an introduction to the mathematics of propositions
پدیدآورنده : Schechter, Eric, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Philosophy ، Mathematics,، Proposition )Logic(
رده :
QA
9
.
3
.
S33C56
10. Constructibility and mathematical existence /
پدیدآورنده : Charles S. Chihara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Constructive mathematics.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques constructives.,Mathématiques-- Philosophie.,Constructieve wiskunde.,Constructive mathematics.,Filosofia da matemática.,Filosofie.,Logic, Symbolic and mathematical.,Lógica matemática.,Matemática construtiva.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Mathematics-- Philosophy.,Ontologie (filosofie)
رده :
QA8
.
4
.
C45
1990eb
11. Constructibility & mathematical existence
پدیدآورنده : CHIHARA,CHARLES S
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MATHEMATICS-PHILOSOPHY , CONSTRUCTIVE MATHEMATIC , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
8
.
4
.
C45
12. Eigenvalue :
پدیدآورنده : Hanjo Berressem.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Algebra.,Eigenvalues.,Language and logic.,Literature and science.,Mathematics-- Philosophy.,Semantics.,Algebra.,Eigenvalues.,Language and logic.,Literature and science.,Mathematics-- Philosophy.,Semantics.
رده :
QA193
.
B47
2019
13. Essays in the Philosophy and History of Logic and Mathematics
پدیدآورنده : \ Roman Murawski ; foreword [by] Jan Woleński.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics-- Philosophy.,Mathematics-- Philosophy-- History-- 20th century.,Logic-- History.,ریاضیات -- فلسفه ,ریاضیات -- فلسفه -- تاریخ -- قرن ۲۰م. ,منطق -- تاریخ
رده :
QA
8
.
6
.
M8E8
2010
E-Book
,
14. Essays on Frege's basic laws of arithmetic
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : 1925. Grundgesetze der Arithmetik ; Arithmetic ; Foundations. ; Mathematics ; Philosophy. ; Logic. ; -Frege, Gottlob, 1848
15. Essays on Husserl's logic and philosophy of mathematics
پدیدآورنده : Stefania Centrone, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Influence ، Husserl, Edmund, 9581-8391,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
B
3279
.
H94E8
16. Essays on the Foundations of Mathematics
پدیدآورنده : \ Stephen Pollard, editor.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics-- Philosophy.,ریاضیات -- فلسفه
رده :
QA
8
.
6
.
E8
2010
E-Book
,
17. Essays on the foundations of mathematics
پدیدآورنده : / by Moritz Pasch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics, Philosophy,Logic, Symbolic and mathematical
رده :
E-BOOK
18. Foundation; essays in philosophy, logic, mathematics, and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
19. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton, 3091-0391
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R25F6
20. Foundations : essays in philosophy, logic, mathematics and economics
پدیدآورنده : Ramsey, Frank Plumpton
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Taxation,، Saving and investment
رده :
QA
8
.
4
.
R35
1978
